Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System
نویسنده
چکیده
Bei modellgetriebener Softwareentwicklung werden Modelle entwickelt und aus diesen ausführbare Software generiert. Durch die Verknüpfung mit formaler Verifikation können Fehler in den Modellen gefunden und so der Ansatz der modellgetriebenen Softwareentwicklung verbessert werden. Diese Arbeit untersucht anhand von zwei Fallstudien, wie aktuelle Forschungsergebnisse im Bereich der Modellierung und Verifikation auf Verhaltensebene in den Softwareentwicklungsprozess integriert werden können.
منابع مشابه
Integration von Formaler Verifikation und Test
Üblicherweise nehmen die Verifizierungsaufgaben, die von den branchenspezifischen Standards gefordert werden, einen großen Teil der Entwicklungskosten von kritischen Systemen ein. Diese Tendenz wird noch verstärkt, da die Entwicklung und Pflege einer großen Menge von funktionalen und Robustheitstests, für immer komplexer werdende Anwendungen, nötig ist. Die formale Verifikation ist ein Weg, die...
متن کاملVerifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers
Ein Model Checker verifiziert, ob ein Modell bestimmte Anforderungen erfüllt. Eine Möglichkeit, das Verhalten von Softwaresystemen zu modellieren, sind endliche Automaten. Diese finden Einzug in die Unified Modelling Language in Form von Statecharts. UML-Statecharts können ein hohes Maß an Komplexität erreichen, so dass sich ihr Zustandsraum nicht mehr komplett in den Hauptspeicher abbilden läs...
متن کاملIntegration textueller Anforderungen und Modell-basiertem Testen mit SysML
In der modernen Systemund Softwareentwicklung bilden Anforderungen die Grundlage aller Entwicklungsaktivitäten. Diese Anforderungen liegen zumeist in nicht formaler Form als textuelle Anforderung oder Beschreibung von Anwendungsfällen vor. Neben diesen informellen Entwicklungsdokumenten gibt es im Rahmen einer Modellbasierten Entwicklung aber auch die formalen Systemmodelle, die das System in s...
متن کاملModellierung und Implementierung eines Order2Cash Prozesses in verteilten Systemen
In dieser Arbeit wird eine Fallstudie vorgestellt, anhand derer Studenten der Wirtschaftsinformatik und Betriebswirtschaftslehre gemeinsam die Abbildung eines Order2Cash Prozesses von der Modellierung bis zur Implementierung erarbeiten können. Die entstandenen Lehrmaterialien veranschaulichen an einem konkreten Beispiel, wie bekannte B2B Prozesse im Rahmen eines durchgängigen Geschäftsprozessma...
متن کاملRisk of Acute Blood Potassium Elevation After Succinylcholine Injection
SUMMARY An abnormal increase in serum potassium afte-r administration of suxamethonium is known to occur in the treatment of burns, trauma, tetanus and neurological disorders. A table shows how long this abnormal reaction lasts approximately in the different categories. A few cases of cardiac arrest following suxamethonium injection are described in detail. The pa;thogenesis of this abnor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softwaretechnik-Trends
دوره 30 شماره
صفحات -
تاریخ انتشار 2010